//
//  fkind.h
//  ltlbmc
//
//  Created by GD Huang on 5/22/12.
//  Copyright (c) 2012 __MyCompanyName__. All rights reserved.
//

#ifndef ltlbmc_fkind_h
#define ltlbmc_fkind_h

namespace cilast {
    
    enum fkind {
        FFloat,
        FDouble,
        FLongDouble
    };
}

#endif
